trivial subgroup

平凡子群